18 research outputs found
Splittability and 1-amalgamability of permutation classes
A permutation class is splittable if it is contained in a merge of two of
its proper subclasses, and it is 1-amalgamable if given two permutations
and in , each with a marked element, we can find a
permutation in containing both and such that the two
marked elements coincide. It was previously shown that unsplittability implies
1-amalgamability. We prove that unsplittability and 1-amalgamability are not
equivalent properties of permutation classes by showing that the class
is both splittable and 1-amalgamable. Our construction is
based on the concept of LR-inflations, which we introduce here and which may be
of independent interest.Comment: 17 pages, 7 figure
Griddings of Permutations and Hardness of Pattern Matching
We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations ? (the "text") and ? (the "pattern"), and the goal is to decide whether ? contains ? as a subpermutation. On general inputs, PPM is known to be NP-complete by a result of Bose, Buss and Lubiw. In this paper, we focus on restricted instances of PPM where the text is assumed to avoid a fixed (small) pattern ?; this restriction is known as Av(?)-PPM. It has been previously shown that Av(?)-PPM is polynomial for any ? of size at most 3, while it is NP-hard for any ? containing a monotone subsequence of length four.
In this paper, we present a new hardness reduction which allows us to show, in a uniform way, that Av(?)-PPM is hard for every ? of size at least 6, for every ? of size 5 except the symmetry class of 41352, as well as for every ? symmetric to one of the three permutations 4321, 4312 and 4231. Moreover, assuming the exponential time hypothesis, none of these hard cases of Av(?)-PPM can be solved in time 2^o(n/log n). Previously, such conditional lower bound was not known even for the unconstrained PPM problem.
On the tractability side, we combine the CSP approach of Guillemot and Marx with the structural results of Huczynska and Vatter to show that for any monotone-griddable permutation class ?, PPM is polynomial when the text is restricted to a permutation from ?
Generalized Coloring of Permutations
A permutation pi is a merge of a permutation sigma and a permutation tau, if we can color the elements of pi red and blue so that the red elements have the same relative order as sigma and the blue ones as tau. We consider, for fixed hereditary permutation classes C and D, the complexity of determining whether a given permutation pi is a merge of an element of C with an element of D.
We develop general algorithmic approaches for identifying polynomially tractable cases of merge recognition. Our tools include a version of nondeterministic logspace streaming recognizability of permutations, which we introduce, and a concept of bounded width decomposition, inspired by the work of Ahal and Rabinovich.
As a consequence of the general results, we can provide nontrivial examples of tractable permutation merges involving commonly studied permutation classes, such as the class of layered permutations, the class of separable permutations, or the class of permutations avoiding a decreasing sequence of a given length.
On the negative side, we obtain a general hardness result which implies, for example, that it is NP-complete to recognize the permutations that can be merged from two subpermutations avoiding the pattern 2413
The Hierarchy of Hereditary Sorting Operators
We consider the following general model of a sorting procedure: we fix a
hereditary permutation class , which corresponds to the operations
that the procedure is allowed to perform in a single step. The input of sorting
is a permutation of the set , i.e., a sequence
where each element of appears once. In every step, the sorting procedure
picks a permutation of length from , and rearranges
the current permutation of numbers by composing it with . The goal is
to transform the input into the sorted sequence in as few
steps as possible.
This model of sorting captures not only classical sorting algorithms, like
insertion sort or bubble sort, but also sorting by series of devices, like
stacks or parallel queues, as well as sorting by block operations commonly
considered, e.g., in the context of genome rearrangement.
Our goal is to describe the possible asymptotic behavior of the worst-case
number of steps needed when sorting with a hereditary permutation class. As the
main result, we show that any hereditary permutation class falls
into one of five distinct categories. Disregarding the classes that cannot sort
all permutations, the number of steps needed to sort any permutation of
with is either , a function between and
, a function betwee and 1$, and for each of these cases we provide a structural characterization of
the corresponding hereditary classes
Bears with Hats and Independence Polynomials
Consider the following hat guessing game. A bear sits on each vertex of a
graph , and a demon puts on each bear a hat colored by one of colors.
Each bear sees only the hat colors of his neighbors. Based on this information
only, each bear has to guess colors and he guesses correctly if his hat
color is included in his guesses. The bears win if at least one bear guesses
correctly for any hat arrangement.
We introduce a new parameter - fractional hat chromatic number ,
arising from the hat guessing game. The parameter is related to the
hat chromatic number which has been studied before. We present a surprising
connection between the hat guessing game and the independence polynomial of
graphs. This connection allows us to compute the fractional hat chromatic
number of chordal graphs in polynomial time, to bound fractional hat chromatic
number by a function of maximum degree of , and to compute the exact value
of of cliques, paths, and cycles